Перевод: с английского на русский

с русского на английский

correspondence problem

См. также в других словарях:

  • Correspondence problem — For the problem in theory of computation, see Post correspondence problem. The correspondence problem tries to figure out which parts of an image correspond to which parts of another image, after the camera has moved, time has elapsed, and/or the …   Wikipedia

  • Post correspondence problem — The Post correspondence problem is an undecidable decision problem that was introduced by Emil Post in 1946.[1] Because it is simpler than the halting problem and the Entscheidungsproblem it is often used in proofs of undecidability. Contents 1… …   Wikipedia

  • Post correspondence problem — Das Postsche Korrespondenzproblem (nach Emil Leon Post, abgekürzt auch PKP oder englisch PCP) ist ein Beispiel für ein unentscheidbares Problem in der Theoretischen Informatik. Es wird häufig verwendet, um mittels Reduktion die Unentscheidbarkeit …   Deutsch Wikipedia

  • Correspondence — may refer to: In general usage, non concurrent, remote communication between people, including letters, email, newsgroups, Internet forums, blogs Correspondence theory of truth (philosophy), a theory in epistemology Correspondence principle… …   Wikipedia

  • Correspondence analysis — (CA) is a multivariate statistical technique proposed[1] by Hirschfeld[2] and later developed by Jean Paul Benzécri.[3] It is conceptually similar to principal component analysis, but applies to categorical rather than continuous data. In a… …   Wikipedia

  • Problem Frames Approach — Problem Analysis or the Problem Frames Approach is an approach to software requirements analysis. It was developed by British software consultant Michael A. Jackson. The Problem Frames Approach was first sketched by Jackson in his book Software… …   Wikipedia

  • Problem of points — The problem of points, also called the problem of division of the stakes, is a classical problem in probability theory. One of the famous problems that motivated the beginnings of modern probability theory in the 17th century, it led Blaise… …   Wikipedia

  • Undecidable problem — In computability theory and computational complexity theory, an undecidable problem is a decision problem for which it is impossible to construct an algorithm that leads to a yes or no answer the problem is not decidable.A decision problem is any …   Wikipedia

  • Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

  • Molyneux's problem — is a thought experiment in philosophy concerning immediate recovery from blindness. It was first formulated by William Molyneux, and notably referenced in John Locke s An Essay Concerning Human Understanding. The problem can be stated in brief,… …   Wikipedia

  • Committee of correspondence — For other uses, see Committee of correspondence (disambiguation). The Committees of Correspondence were shadow governments organized by the Patriot leaders of the Thirteen Colonies on the eve of American Revolution. They coordinated responses to… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»